w{-}info($w$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$kindcase(kind($e$); $a$.inl($\langle$loc($e$)$,\,$$a$$\rangle$); $l$,${\it tg}$.inr($\langle$$\langle$$l$$,\,$sender($e$)$\rangle$$,\,$${\it tg}$$\rangle$) )